An enough week
blog.mitrichev.ch·1d·
🧮Z3 Solver
Multi-Core By Default
rfleury.com·20h·
🔩Systems Programming
Parallel-in-Time Solution of Allen-Cahn Equations by Integrating Operator Learning into the Parareal Method
arxiv.org·17h
🕸️Tensor Networks
Managing Asynchronous Work with Celery and Redis
dev.to·11h·
Discuss: DEV
🌊Apache Kafka
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com·10h·
Discuss: Hacker News
🔩Systems Programming
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·14h
📞Session Types
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·12h·
Discuss: Substack
🔲Cellular Automata
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·17h
🔗Graph Isomorphism
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·8h·
Discuss: Hacker News
🎯Performance Proofs
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·11h
💎Information Crystallography
Fast Matrix Multiply on an Apple GPU
percisely.xyz·3d·
SIMD Vectorization
Kubetorch: Fast ML Development on Kubernetes
run.house·1d·
Discuss: Hacker News
🏠Homelab Orchestration
Randomized and quantum approximate matrix multiplication
arxiv.org·17h
🔐Quantum Cryptography
We Benchmarked DuckDB, SQLite, and Pandas on 1M Rows: Here’s What Happened
kdnuggets.com·7h
💾SQLite
TCDRM: A Tenant Budget-Aware Data Replication Framework for Multi-Cloud Computing
arxiv.org·17h
💾Storage Replication
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·21h·
Discuss: Hacker News
🔢Reed-Solomon Math
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·3h·
Discuss: DEV
💾Storage Replication
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming